abstract semantics

A compactness theorem of abstract semantics

关于抽象逻辑紧致性的一个定理

SPM-CMM provides abstract syntaxes and rule semantics for CMM software process, and also supports of modeling of CMM integration with UML CASE tools.

该元模型既支持CMM软件过程的抽象语法和规则语义，也支持利用UML CASE工具操作CMM软件过程模型。

This paper will firstly build an abstract description model for dynamic semantics detection of software components;

为解决这一问题，该文首先构造一个能够用于软部件动态语义检测的抽象描述模型；

Note: more stringent correspondences between abstract and actual semantics may be defined by each implementation.

注: 抽象与实际语义的更严格对应可能由每个实现自行定义.

Thirdly, we define abstract semantics of a meta model.

第三，设计了一套元模型的抽象语义。

Abstract: Both fuzzy semantics and precise semantics are important parts in the expression of Official Language. There is different nature, but also inextricably linked. Under certain conditions, they are to achieve mutual conversion.

摘要：模糊语义和精确语义是公文语言的重要表现形式，它们之间既存在本质差别，也存在不可分割的联系，同时，双方在一定条件下也可实现相互的转换。

Key Concepts of Describing Abstract Semantics Facing the Object Language

描述面向对象语言抽象语义的几个关键概念

A key selling point for MapReduce is its ability to abstract the operational parallelization semantics how parallel programming works away from the developer.

MapReduce的关键特点是它能够对开发人员隐藏操作并行语义&并行编程的具体工作方式。